home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
prolog
/
sbprolog
/
v3
/
latex_do.lha
/
latex_doc
/
sbprolog_doc.tex
/
labels.pl
< prev
next >
Wrap
Text File
|
1990-07-06
|
6KB
|
246 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.
$key = q/adding_builtins/;
$external_labels{$key} = "$URL/" . q|node72_ct.html|;
$noresave{$key} = "$nosave";
$key = q/arithmetic/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";
$key = q/buffers/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";
$key = q/builtins/;
$external_labels{$key} = "$URL/" . q|node66_ct.html|;
$noresave{$key} = "$nosave";
$key = q/clause/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/coding_for_efficiency/;
$external_labels{$key} = "$URL/" . q|node67_ct.html|;
$noresave{$key} = "$nosave";
$key = q/comparison_of_terms/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";
$key = q/compiler_options/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|;
$noresave{$key} = "$nosave";
$key = q/complementary_tests/;
$external_labels{$key} = "$URL/" . q|node68_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cuts_and_if-then-else/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";
$key = q/debugging/;
$external_labels{$key} = "$URL/" . q|node42_ct.html|;
$noresave{$key} = "$nosave";
$key = q/impure_code/;
$external_labels{$key} = "$URL/" . q|node60_ct.html|;
$noresave{$key} = "$nosave";
$key = q/indexing_directives/;
$external_labels{$key} = "$URL/" . q|node55_ct.html|;
$noresave{$key} = "$nosave";
$key = q/inlinepredicatetable/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";
$key = q/internal_database/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";
$key = q/list/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/macros/;
$external_labels{$key} = "$URL/" . q|node57_ct.html|;
$noresave{$key} = "$nosave";
$key = q/operator_priorities/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/operators/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/query/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/rule/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";
$key = q/search_path/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";
$key = q/simulator_options/;
$external_labels{$key} = "$URL/" . q|node47_ct.html|;
$noresave{$key} = "$nosave";
$key = q/statistics/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|;
$noresave{$key} = "$nosave";
$key = q/structures/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/system_directories/;
$external_labels{$key} = "$URL/" . q|node7_ct.html|;
$noresave{$key} = "$nosave";
$key = q/terms/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/the_compiler/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|;
$noresave{$key} = "$nosave";
$key = q/unixsystemcalls/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|;
$noresave{$key} = "$nosave";
1;
# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.
$key = q/adding_builtins/;
$external_latex_labels{$key} = q|C|;
$noresave{$key} = "$nosave";
$key = q/arithmetic/;
$external_latex_labels{$key} = q|5.2|;
$noresave{$key} = "$nosave";
$key = q/buffers/;
$external_latex_labels{$key} = q|5.8|;
$noresave{$key} = "$nosave";
$key = q/builtins/;
$external_latex_labels{$key} = q|A|;
$noresave{$key} = "$nosave";
$key = q/clause/;
$external_latex_labels{$key} = q|3.3|;
$noresave{$key} = "$nosave";
$key = q/coding_for_efficiency/;
$external_latex_labels{$key} = q|B|;
$noresave{$key} = "$nosave";
$key = q/comparison_of_terms/;
$external_latex_labels{$key} = q|5.7|;
$noresave{$key} = "$nosave";
$key = q/compiler_options/;
$external_latex_labels{$key} = q|8.2|;
$noresave{$key} = "$nosave";
$key = q/complementary_tests/;
$external_latex_labels{$key} = q|B.1|;
$noresave{$key} = "$nosave";
$key = q/cuts_and_if-then-else/;
$external_latex_labels{$key} = q|4.2|;
$noresave{$key} = "$nosave";
$key = q/debugging/;
$external_latex_labels{$key} = q|6|;
$noresave{$key} = "$nosave";
$key = q/impure_code/;
$external_latex_labels{$key} = q|11|;
$noresave{$key} = "$nosave";
$key = q/indexing_directives/;
$external_latex_labels{$key} = q|8.4.2|;
$noresave{$key} = "$nosave";
$key = q/inlinepredicatetable/;
$external_latex_labels{$key} = q|2|;
$noresave{$key} = "$nosave";
$key = q/internal_database/;
$external_latex_labels{$key} = q|5.10|;
$noresave{$key} = "$nosave";
$key = q/list/;
$external_latex_labels{$key} = q|1|;
$noresave{$key} = "$nosave";
$key = q/macros/;
$external_latex_labels{$key} = q|10|;
$noresave{$key} = "$nosave";
$key = q/operator_priorities/;
$external_latex_labels{$key} = q|1|;
$noresave{$key} = "$nosave";
$key = q/operators/;
$external_latex_labels{$key} = q|3.2|;
$noresave{$key} = "$nosave";
$key = q/query/;
$external_latex_labels{$key} = q|3.5|;
$noresave{$key} = "$nosave";
$key = q/rule/;
$external_latex_labels{$key} = q|3.4|;
$noresave{$key} = "$nosave";
$key = q/search_path/;
$external_latex_labels{$key} = q|2.1|;
$noresave{$key} = "$nosave";
$key = q/simulator_options/;
$external_latex_labels{$key} = q|7.2|;
$noresave{$key} = "$nosave";
$key = q/statistics/;
$external_latex_labels{$key} = q|5.12|;
$noresave{$key} = "$nosave";
$key = q/structures/;
$external_latex_labels{$key} = q|2|;
$noresave{$key} = "$nosave";
$key = q/system_directories/;
$external_latex_labels{$key} = q|2.2|;
$noresave{$key} = "$nosave";
$key = q/terms/;
$external_latex_labels{$key} = q|3.1|;
$noresave{$key} = "$nosave";
$key = q/the_compiler/;
$external_latex_labels{$key} = q|8|;
$noresave{$key} = "$nosave";
$key = q/unixsystemcalls/;
$external_latex_labels{$key} = q|4|;
$noresave{$key} = "$nosave";
1;